логическое учение, изложенное в книге последователей Р. Декарта - аббатов монастыря Пор-Руаяль А. Арно и П. Николя "Логика, или Искусство мыслить" (1662). Состоит из 4 основных частей: учение о понятии, учение о суждении, учение об умозаключении, учение о методе. В П.-Р. л. впервые различаются содержание понятия (т. е. характеризующая его совокупность признаков) и его объём (класс объектов, обладающих этими признаками). Авторы П.-Р. л. выдвигают идею построения специального логического языка (см. Формализованный язык), использование которого в научных исследованиях и при изложении результатов позволило бы избежать распространённых логических ошибок, поскольку такой язык был бы свободен от полисемии (См. Полисемия) и омонимии (См. Омонимия): Каждый его термин должен иметь в точности один смысл, вводимый соответствующим Определением. Вообще в П.-Р. л. значительное место занимает теория определений (идущая главным образом от Б. Паскаля (См. Паскаль)), строго различающая определения номинальные (вводящие имена - термины, до определения вообще не наделённые никаким смыслом или значением) и реальные (поясняющие значения имён некоторых "реальных" объектов с помощью терминов, связанных с др. реальными объектами); принятие какого-либо определения 1-го рода есть лишь вопрос терминологического соглашения, в то время как определение 2-го рода есть предложение, нуждающееся, вообще говоря, в обосновании. Центральная роль в П.-Р. л. играет проблематика, с современной точки зрения вообще не относящаяся к логике, например развивающее идеи Декарта т. н. учение о методе, согласно которому научные истины должны открываться посредством Анализа некоторых данных, а передаваться и упорядочиваться - с помощью их Синтеза. П.-Р. л. разработала систему методологических рекомендаций, относящихся к формированию определений, аксиом (См. Аксиома), умозаключений (См. Умозаключение), доказательств (См. Доказательство) и научных методов как таковых. В собственно логическом (в современном смысле слова) отношении П.-Р. л. можно рассматривать как рационалистическую критику схоластической логики и реконструкцию логики в духе идей Аристотеля (См. Аристотель) (также с критическим их переосмыслением, например в связи с аристотелевским учением о категориях (См. Категории)). Наряду с Пор-Рояля грамматикой (См. Пор-Рояля грамматика) П.-Р. л. предвосхитила некоторые важные принципы современной формальной (символической или математической) логики, например в вопросе о структуре сложных суждений (высказываний (См. Высказывание)).

Лит.: Котарбиньский Т., Избр. произв., пер. с польск., М., 1963.

"Всеобщая и рациональная грамматика", лингвистическая теория, изложенная аббатами монастыря Пор-Руаяль А. Арно и К. Лансло в книге "Общая и рациональная грамматика" (1660). Разрабатывалась для серии учебников Пор-Руаяля параллельно с логикой (во многих аспектах с ней связана, вплоть до повторения разделов). Создана на основе идей картезианства (См. Картезианство) и средневековых учений о языке, анализирует проблему соответствия грамматического логическому. Согласно этой теории, людям присуща единообразная мыслительная и речевая способность, в основе всех языков лежит единая идеальная логическая схема, но ни один конкретный язык не тождествен этому потенциально данному человеческому языку. Задача грамматики - установить принципы, общие всем языкам, и основные различия между ними. Конкретные языки конвенциональны, для борьбы с логическими ошибками можно создать новый язык или установить чёткие однозначные уподобления словам данного языка. Эта теория, называется "философской грамматикой", противопоставлялась описательным и нормативным грамматикам и получила в 17-19 вв. широкое распространение в логике и лингвистике (Г. В. Лейбниц, Дж. Харрис, Г. Я. Герман, Э. Гуссерль). Сравнительно-историческим языкознанием П.-Р. г. была отвергнута как антинаучная, но с начала 60-х гг. 20 в. находит отражение в работах по языковым универсалиям и порождающей грамматике как имеющая существенное значение в развитии науки о языке.

Лит.: Donze R., La grammaire générale et raisonnée de Port-Royal, Berne, 1967 (есть лит.).

Ю. М. Эдельштейн.

то же, что математическая Логика, т. с. "логика по предмету, математика по методу" (П. С. Порецкий), или "логика, изучаемая посредством построения формализованных языков" (Л. Чёрч). Термин "С. л." акцентирует внимание на том обстоятельстве, что основными элементами формализованных языков (См. Формализованный язык), служащих "математическим методом" изучения предмета логики, являются в данном случае не слова обычных разговорных языков (хотя бы и употребляемые в каких-либо специальных значениях), а некоторые символы, выбираемые (или конструируемые из выбранных ранее символов) и интерпретируемые (истолковываемые) определённым образом, специфическим именно для данной логической ситуации и, вообще говоря, не связанным ни с каким "традиционным" употреблением, пониманием и функциями таких же символов в других контекстах.